localizing functor

[数] 局部化函子